1. Efficient checking of polynomials and proofs and the hardness of approximation problems
پدیدآورنده : Sudan, Madhu
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، NP-complete problems,، Computational complexity,، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
1001